Перевод: со всех языков на все языки

со всех языков на все языки

теорема об уточнениях

См. также в других словарях:

  • ОПРЕДЕЛИМОСТЬ —         одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… …   Философская энциклопедия

  • АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …   Философская энциклопедия

  • Определение — I Определение         дефиниция (от лат. definitio), указание или объяснение значения (смысла) термина и (или) объёма (содержания) выражаемого данным термином понятия (См. Понятие); этот термин (понятие) называется определяемым (лат. definiendum …   Большая советская энциклопедия

  • ИЗОПЕРИМЕТРИЧЕСКОЕ НЕРАВЕНСТВО — (в геометрии и физике) общий термин для обозначения неравенства 4pV<F2 между площадью Vи периметром Fплоской области, для разнообразных его обобщений и для других неравенств между геометрия, характеристиками фигур, множеств, многообразий. К И …   Математическая энциклопедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»